home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
quintus
/
quintus0.lha
/
work
/
compile
< prev
next >
Wrap
Text File
|
1992-04-03
|
267b
|
12 lines
#!/bin/csh
# qpc -i quintus_compile_options_2.05.8 -D prover_2.06.1 -o qclin2 -QLD -w
# strip qclin2
# rm -f *.qof
rm -f compile.out compile.out.1
prolog < compile.in >& compile.out
qld -D -w -o qclin2 compile.out.1 >>& compile.out
rm -f compile.out.1
strip qclin2